//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

//#include <core.h>
//#include "kernelentry0.h"
//#include "inc/kernelentry1.h"

#include <ddk.h>

EXTERN_C DECL_CODEINIT void CDECL TestKernelSetup(
    physaddr_t paKernelPhysBase, physaddr_t paKernelImagePhysBase)
{
//    // Run testing programs in the 0 folder;
//    TestKernelSetup0(paKernelPhysBase, paKernelImagePhysBase);
}

EXTERN_C DECL_CODEINIT void CDECL TestKernelInitialize()
{
//    kprintf("TestKernelInitialize\n");
//    // Run testing programs in the 0 folder;
//    TestKernelInitialize0();
//    // Run testing programs in the 1 folder;
//    TestKernelInitialize1();
}

EXTERN_C DECL_CODEINIT void CDECL TestKernelStartup()
{
//    kprintf("TestKernelStartup\n");
//    // Run testing programs in the 0 folder;
//    TestKernelStartup0();
//    // Run testing programs in the 1 folder;
//    TestKernelStartup1();
}
